A Higher-Order Extension for Imperative Synchronous Languages

机译：强制性同步语言的高阶扩展

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Eric Vecchié; Jean-pierre Talpin; Sébastien Boisgérault;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language [J] . Leonardo Rodr{i}guez, Daniel Fridlender, Miguel Pagano LIPIcs : Leibniz International Proceedings in Informatics . 2014,第4期

机译：Krivine机器的认证扩展，用于按名称呼叫高阶命令式语言
2. Clock refinement in imperative synchronous languages [J] . Mike Gemünde, Jens Brandt, Klaus Schneider EURASIP journal on embedded systems . 2013,第1期

机译：命令式同步语言中的时钟优化
3. Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language [J] . Neis Georg, Hur Chung-Kil, Kaiser Jan-Oliver, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2015,第9期

机译：Pilsner：一种经过结构验证的高级命令式语言编译器
4. ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages [C] . Filip Sieczkowski, Ales Bizjak, Lars Birkedal International conference on interactive theorem proving . 2015

机译：ModuRes：有关并行高阶命令式编程语言的模块化推理的Coq库
5. THE CALCULI OF LAMBDA-NU-CS CONVERSION: A SYNTACTIC THEORY OF CONTROL AND STATE IN IMPERATIVE HIGHER-ORDER PROGRAMMING LANGUAGES. [D] . FELLEISEN, MATTHIAS. 1987

机译：LAMBDA-NU-CS转换的计算：指令式高阶编程语言中控制和状态的句法理论。
6. Non-Familial Synchronous Bilateral Renal Cell Carcinoma with Bilateral Synchronous Renal Vein Extension and Inferior Vena Cava Thrombus [O] . Wilson Lin, Kara L. Watts, Meenakshi Davuluri, 2019

机译：非家族性同步性双侧肾细胞癌伴双侧同步性肾静脉扩张和下腔静脉血栓形成
7. A Higher-Order Extension for Imperative Synchronous Languages [O] . Vecchié Eric, Talpin Jean-Pierre, Boisgérault Sébastien 2010

机译：祈使式同步语言的高阶扩展

A Higher-Order Extension for Imperative Synchronous Languages

著录项

引文网络

相似文献

相关主题

期刊订阅